"T. F. Melham" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (No. 31))

Автор: T. F. Melham

Размер книги: 3.38 Mb

Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005

Автор: Joe Hurd, Автор: Tom Melham

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 3.25 Mb

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: ... 7th

Автор: Thomas F. Melham, Автор: Juanito Camilleri

Размер книги: 4.12 Mb

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Автор: M. J. C. Gordon, Автор: T. F. Melham

Размер книги: 3.06 Mb

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ...

Автор: Tiziana Margaria, Автор: Tom Melham

Размер книги: 3.98 Mb